what is a parameter file in mysql